首页> 外文OA文献 >Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

【2h】

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

机译：利用参数化缓存一致性协议的流规范验证死锁自由度

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Divjyot Sethi; Muralidhar Talupur; Sharad Malik;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Deadlock Verification of Cache Coherence Protocols and Communication Fabrics [J] . IEEE Transactions on Computers . 2017,第2期

机译：缓存一致性协议和通信结构的死锁验证
2. Constraint-Based Verification of Parameterized Cache Coherence Protocols [J] . GIORGIO DELZANNO Formal Methods in System Design . 2003,第3期

机译：基于约束的参数化缓存一致性协议验证
3. Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols [J] . Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Formal Methods in System Design . 2010,第1期

机译：正式验证分层缓存一致性协议安全属性的有效方法
4. Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom [C] . Divjyot Sethi, Muralidhar Talupur, Sharad Malik International symposium on automated technology for verification and analysis . 2014

机译：使用参数化缓存一致性协议的流规范验证死锁自由
5. On exploring even reachable global state space to verify deadlock freedom of protocols. [D] . Nguyen, Tuong M. 2002

机译：探索甚至可达的全局状态空间以验证协议的死锁自由度。
6. Parameterized Specification Configuration and Execution of Data-Intensive Scientific Workflows [O] . Vijay S. Kumar, Tahsin Kurc, Varun Ratnakar, -1

机译：数据密集型科学工作流程的参数化规范配置和执行
7. Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom [O] . Sethi, Divjyot, Talupur, Muralidhar, Malik, Sharad 2014

机译：使用参数化缓存一致性协议的流规范验证死锁自由

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

著录项

引文网络

相似文献

相关主题

期刊订阅